Jimmy Butler being traded